記号論理と情報科学 研究集会